Books by author Joshua D. Guttman

Showing 1 – 6 out of 6 results

1. 

   Formal Aspects in Security and Trust

   Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli | Springer, Berlin, 2009

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.28 €

   Buy
2. 

   VLISP A Verified Implementation of Scheme

   Joshua D. Guttman, Mitchell Wand | Springer, Berlin, 1995

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   185.76 €

   Buy
3. 

   Formal Aspects in Security and Trust

   Pierpaolo Degano, Joshua D. Guttman | Springer, Berlin, 2010

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.28 €

   Buy
4. 

   Principles of Security and Trust

   Pierpaolo Degano, Joshua D. Guttman | Springer, Berlin, 2012

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.28 €

   Buy
5. 

   VLISP a Verified Implementation of Scheme

   Joshua D. Guttman, Mitchell Wand | Springer-Verlag New York Inc., 2012

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   185.76 €

   Buy
6. 

   Foundations of Security, Protocols, and Equational Reasoning

   JOSHUA D. GUTTMAN | Springer Nature Switzerland AG, 2019

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.28 €

   Buy

Estimated delivery date you can see on the book page. Find out more